81. Standardized development of computer software
پدیدآورنده: Tausworthe, Robert C
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Electronic digital computers -- Programming,Standards ، Computer software
رده :
QA
76
.
6
.
T39
1977
82. Student instructions for special Limited Version of framework to accompany sanders: Computers today
پدیدآورنده: Azge, Wayne M.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic digital computers,، Computer software
رده :
QA
76
.
5
.
Z34
1988
83. System-On-A-Chip verification
پدیدآورنده: / Prakash Rashinkar, Peter Paterson, Leena Singh
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: System design,Electronic digital computers -- Design and construction,Computer software -- Development
رده :
QA
76
.
9
.
S88R37
2001
84. System-On-A-Chip verification :methodology and techniques
پدیدآورنده: Rashinkar, Prakash
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، System design,Design and construction ، Electronic digital computers,Development ، Computer software
رده :
QA
76
.
9
.
S88
R37
2001
85. The specification of computer programs
پدیدآورنده: Turski, Wladyslaw
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer software- Development,، Electronic digital computers- Programming
86. Using computers and application software
پدیدآورنده: / Lon Ingalsbe
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic digital computers,Microcomputers- Programming,Application software,Lotus 1-2-3 (Computer file),dBase III,dBase III plus (Computer file),WordPerfect (Computer file)
رده :
QA76
.
5
.
I443
1989
87. computer aided verification
پدیدآورنده: Computer aided verification
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer software-verification,electronic digital computers-evaluation
رده :
QA
76
.
76
.
E93
,
C65
1993
